<html><body>Saving an edit mode definition or catalog
file will cause jEdit to automatically reload it. This is helpful when
writing your own edit modes.</body></html>
